Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
141	Microsoft Word - Getting Started-v9_wafa.docx Add to Reading List Source URL: www.solibri.com Language: English - Date: 2016-03-26 20:21:40 Real estate Software Building information modeling Construction Architecture Building engineering Computer-aided design Data modeling Model checking Mode
142	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
143	Introduction Bio-PEPA: Syntax and semantics Model Analysis Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:34 Process calculi Theoretical computer science PEPA Jane Hillston Process calculus Mathematics Semantics -calculus Calculus Stochastic Model checking TAPAs model checker
144	Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering
145	Fluid Approximation for Stochastic Model Checking Jane Hillston joint work with Luca Bortolussi Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 Probability theory Stochastic processes Statistics Probability Markov models Markov processes Statistical models Stochastic simulation Markov chain Fluid queue Economic model Stochastic
146	Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Computing Hardware description languages Synchronous programming languages SIGNAL Esterel Real-time computing Actor model Model checking Component-based software engineering Modeling and Analysis of Real Time and Embedded systems Reo Coordination Language
147	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming
148	PDF Document Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2010-08-19 01:04:31 Differential equations Biology Hybrid automaton Hybrid system Systems science Hybrid System Model checking Thermostat Science and technology
149	Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 07:30:31 Computing Diagrams Boolean algebra Mathematics Computer programming Binary decision diagram Model checking External sorting Computer cluster Depth-first search
150	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E

UPDATE